61. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
62. Lessons in scientific computing :
پدیدآورنده : by Norbert Schorghofer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Numerical analysis-- Data processing.,Science-- Mathematics-- Data processing.,Numerical analysis-- Data processing.,SCIENCE / General,Science-- Mathematics-- Data processing.
رده :
Q183
.
9
.
S236
2019
63. Linear algebra and probability for computer science applications /
پدیدآورنده : Ernest Davis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebras, Linear,Computer science-- Mathematics,Probabilities
رده :
QA76
.
9
.
M35
D38
2012
64. Machine Learning:
پدیدآورنده : edited by Pavel B. Brazdil.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
65. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده : by J. Gruska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA267
.
B954
1977
66. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
67. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
68. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
69. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
70. Mathematics of optimization :
پدیدآورنده : Steven J. Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Management science, Problems, exercises, etc.,Mathematical optimization, Problems, exercises, etc.,Operations research, Problems, exercises, etc.,Computer science-- Theory of computing-- Analysis of algorithms and problem complexity.,Functional analysis-- Miscellaneous applications of functional analysis-- Applications in optimization, convex analysis, mathematical programming, economics.,Global analysis, analysis on manifolds-- Calculus on manifolds; nonlinear operators-- Fixed point theorems on manifolds.,Management science.,Mathematical optimization.,Mathematics education-- Mathematical modeling, applications of mathematics-- Operations research, economics.,Number theory-- Computational number theory-- Algorithms; complexity.,Numerical analysis-- Mathematical programming, optimization and variational techniques-- Optimization and variational techniques.,Operations research, mathematical programming-- Mathematical programming-- Linear programming.,Operations research.
رده :
QA402
.
5
.
M5534
2017
71. Metaheuristics: Computer Decision-Making
پدیدآورنده : by Mauricio G. C. Resende, Jorge Pinho Sousa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computational complexity.,Mathematical optimization.,Mathematics.
72. Minimax and Applications
پدیدآورنده : edited by Ding-Zhu Du, Panos M. Pardalos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematics.
73. Models for Parallel and Distributed Computation
پدیدآورنده : edited by Ricardo Corrêa, Inês Dutra, Mario Fiallos, Fernando Gomes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Combinatorics.,Computational complexity.,Computer science.,Information theory.
74. New Trends in Mathematical Programming
پدیدآورنده : edited by Franco Giannessi, Sándor Komlósi, Tamás Rapcsák.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematical optimization.,Mathematics.
75. Operations Research '93 :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
HD30
.
23
O647
1994
76. Parallel Algorithms in Computational Science
پدیدآورنده : edited by Dieter W. Heermann, Anthony N. Burkitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biology -- Data processing.,Chemistry.,Physics.
رده :
QA76
.
5
E358
1991
77. Parallel processing and parallel algorithms :
پدیدآورنده : Seyed H Roosta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
58
S494
2013
78. Proceedings / Parcella 1988 :
پدیدآورنده : by Gottfried Wolf, Tamas Legendi, Udo Schendel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
79. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
80. SAT 2005 :
پدیدآورنده : edited by Enrico Giunchiglia and Toby Walsh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
رده :
QA76
.
9
.
A43
S28
2006eb
